Merge pull request #7821 from commodo/python3-7-2
authorHannu Nyman <[email protected]>
Tue, 1 Jan 2019 10:54:48 +0000 (12:54 +0200)
committerGitHub <[email protected]>
Tue, 1 Jan 2019 10:54:48 +0000 (12:54 +0200)
python3: bump to version 3.7.2


Trivial merge